1、[数]命题函数
命题函数（propositional function ）：有变量的判断。命题和语句的关系：内容与表达形式。
2、命题函项
「命题函项(propositional function)：带有主目空位(argument places)的 表达式；一旦为这个主目空位提供一个主目(argument)，这个命题函项 就转变成为命题，因而就非...
3、命题函词
... 命题演算 propositional calculus 命题函词；命题函数 propositional function 命题推演 propositional inference ...
primitive propositional function本原命题函词
simple propositional function简单命题函数
basic propositional function基本命题函数
normal propositional function正规命题函词